翻訳と辞書 |
Leonid Libkin : ウィキペディア英語版 | Leonid Libkin
Leonid Libkin is a computer scientist who works in database theory, logic in computer science, and finite model theory. Libkin is a Professor at the University of Edinburgh, where he holds the chair of Foundations of Data Management in the School of Informatics. He previously worked at the University of Toronto and Bell Labs.〔 Libkin is the author of a standard textbook on finite model theory and is an ACM Fellow. == Books ==
* *
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Leonid Libkin」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|